$\forall$${\it es}$:ES, $i$:Id, ${\it xs}$:(Id List). state@$i$ $\subseteq$r state@$i$$\mid$${\it xs}$